2041. Recent Advances in Chemistry and Technology of Fats and Oils
پدیدآورنده : edited by R.J. Hamilton, A. Bhati.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TP671
.
E358
1987
2042. Recent advances in intelligent engineering systems
پدیدآورنده : Janos Fodor, Ryszard Klempous and Carmen Paz Suarez Araujo )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Expert systems )Computer science( Congresses,، Engineering,، Artificial intelligence,، Engineering mathematics,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(,، Appl. Mathematics/Computational Methods of Engineering
رده :
QA
76
.
76
.
E95
R423
2012
2043. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
2044. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
2045. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
2046. Recent trends in algebraic development techniques
پدیدآورنده : Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
2047. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
2048. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
2049. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
پدیدآورنده : Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3423
2050. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
پدیدآورنده : Didier Bert, Christine Choppy, Peter Mosses )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1827
2051. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
پدیدآورنده : Jose Luiz Fiadeiro )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1589
2052. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers
پدیدآورنده : Francesco Parisi Presicce, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1376
2053. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
پدیدآورنده : Maura Cerioli, Gianna Reggio )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2267
2054. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
پدیدآورنده : Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2755
2055. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
76
.
D47
.
W33
2001
2056. Rechnen in der Chemie :
پدیدآورنده : von Walter Wittenberger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry -- Mathematics.,Computer science.,Mathematics.
رده :
QD42
.
V669
1971
2057. Reconstructing Reality
پدیدآورنده : \ Margaret Morrison.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Science-- Mathematical models.,Physics-- Mathematical models.,Mathematics-- Philosophy.,علوم -- الگوهای ریاضی ,فیزیک -- الگوهای ریاضی ,ریاضیات -- فلسفه
رده :
Q
158
.
5
.
M6R4
2015
E-Book
,
2058. Reconstructing reality :
پدیدآورنده : Margaret Morrison
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy,Physics-- Mathematical models,Science-- Mathematical models
رده :
Q158
.
5
.
M667
2015
2059. Relation philosophy of mathematics, science, and mind :
پدیدآورنده : by Helier J. Robinson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy.,Philosophy of mind.,Science-- Philosophy.,Mathématiques-- Philosophie.,Philosophie de l'esprit.,Sciences-- Philosophie.,Mathematics-- Philosophy.,Philosophy of mind.,Science-- Philosophy.
2060. Relation philosophy of mathematics, science, and mind :
پدیدآورنده : by Helier J. Robinson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy.,Philosophy of mind.,Science-- Philosophy.,Mathématiques-- Philosophie.,Philosophie de l'esprit.,Sciences-- Philosophie.,Mathematics-- Philosophy.,Philosophy of mind.,Science-- Philosophy.
رده :
QA8
.
4
.
R62
2006